formal specification meaning in Chinese
格式说明
形式说明
Examples
- Find the formal specification of n - triples in the relevant section
(您也可以单击本文顶部或底部的 - Formal specification and modeling of intelligent traffic control signals
智能交通信号灯形式化建模 - Formal specification and verification of air - ticket reservation systems using pvs
的飞机订票系统的形式化描述与验证 - The static formal specification on such systems falls to many drawbacks
而这类系统采用静态的体系结构形式化描述存在着许多缺陷和不足。 - Information technology - z formal specification notation - syntax , type system and semantics
信息技术. z形式规范注释.语法类型系统和语义学